21. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
22. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
23. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
24. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : / James P. Delgrande, Wolfgang Faber
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
25. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
26. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Vladimir Lifschitz, Ilkka Niemelä.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Artificial intelligence.,Computer science.
رده :
Q334-342
27. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : / Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
28. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : / Pedro Cabalar, Tran Cao Son
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
29. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده : edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
30. Logic , Rhetoric , and Legal Reasoning in the Quran
پدیدآورنده : Cwynne , Rosalind Ward
کتابخانه: Library of the Islamic Research Foundation of Astan Qods Razavi (Khorasan Razavi)
موضوع :
31. Logic, Rhetoric, and Legal Reasoning in the Quran
پدیدآورنده : / Rosalind Ward Gwynne,Gwynne
کتابخانه: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
موضوع : Islam and reason -- Qur'anic aspects,Qur'an and philosophy,Intellect -- Religious aspects -- Islam -- Qur'anic aspects
رده :
297
.
159
G995L
32. Logic, Rhetoric, and Legal Reasoning in the Quran
پدیدآورنده : \ Rosalind Ward Gwynne.,Gwynne, Rosalind Ward
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Faith and reason,Quran and philosophy.,Intellect,Quranic teaching.,Quranic teaching.,عقل و ایمان (اسلام) -- جنبه‌های قرآنی,قرآن و فلسفه,هوش -- جنبه‌های مذهبی -- اسلام -- جنبه‌های قرآنی
رده :
BP216
.
15
.
R33
G89
2004
33. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Edmund M. Clarke, Andrei Voronkov
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
34. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
35. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : \ Martin Davis, ... [et al.] (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
36. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / ller, Andrei VoronkovیChristian G. Ferm
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
37. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Ken McMillan, Aart Middeldorp, Andrei Voronkov
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
38. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / rner, Andrei VoronkovوNikolaj Bj
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
39. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
پدیدآورنده : Michel Parigot, Andrei Voronkov )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1955
